#ifndef SYSCALLK
#define SYSCALLK

#include <ktypes.h>
#define SYS_WRITE   64
#define SYS_GETPID  172

//fd:1 standard output
uint64 sys_write(unsigned int fd, const char* buf, uint64 count);

uint64 sys_getpid();


#endif